Normal(${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$k$:Knd. ($\uparrow$$k$ $\in$ dom(${\it da}$)) $\Rightarrow$ Normal(${\it da}$($k$).1)